Deepak D'souza (u. A.) | Verification, Model Checking, And Abstract...

Fritz Henglein (u. A.) | Verification, Model Checking, And Abstract...

Xavier Rival (u. A.) | Verification, Model Checking, And Abstract

Verification, Model Checking, And Abstract Interpretation 23rd

Gilles Barthe (u. A.) | Verification, Model Checking, And Abstract...

Lenore D. Zuck (u. A.) | Verification, Model Checking, And Abstract...

Roberto Giacobazzi (u. A.) | Verification, Model Checking, And

Agostino Cortesi | Verification, Model Checking, And Abstract

K. Rustan M. Leino (u. A.) | Verification, Model Checking, And

Francesco Logozzo (u. A.) | Verification, Model Checking, And

Markus Müller-olm (u. A.) | Verification, Model Checking, And

Model Checking Abstract State Machines 6717

Kirsten Winter | Model Checking Abstract State Machines | Taschenbuch

Ernst-rüdiger Olderog (u. A.) | Model Checking, Synthesis, And

Anne Remke (u. A.) | Stochastic Model Checking | Taschenbuch |

Jaco Geldenhuys (u. A.) | Model Checking Software | Taschenbuch |